Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por autor: Manna, Zohar.
Mostrando 1-4 de 4 resultados, ordenados por
 
Bradley, Aaron R.
1. The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna. 2007 e-book SpringerLink, via BECYT
 
Manna, Zohar.
2. The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" / Zohar Manna, Richard Waldinger. 1993 Libro
68
M282
3. The logical basis for computer programming / Zohar Manna, Richard Waldinger. 1985-1990 Libro
68
M282l
 
Autores varios
4. Currents in the theory of computing / edited by Alfred V. Aho ; contributing authors, Ronald V. Book ... [et al.]. 1973 Libro
68
C976

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos